FOO.CMD[1,JMC] - www.SailDart.org

perm filename FOO.CMD[1,JMC] blob sn#744232 filedate 1984-02-28 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;
αXDEFINE ADR⊗↔
⊗↔Professor John McCarthy⊗↔Computer Science Department⊗↔Stanford Univers
ity⊗↔Stanford California 94305⊗↔αβ⊗↓

αXDEFINE AIL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂AIL αβ⊗↓

αXDEFINE CAL⊗↔
⊗↔αεcal[1,jmc]/8p⊗↔αβ⊗↓

αXDEFINE CSL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂CSL αβ⊗↓

αXDEFINE DEL⊗↔
αidel αs]α αk⊗↔α⊗→α=αβkαβdαβ⊗↓

αXDEFINE DOV⊗↔
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αXDEFINE DOVER⊗↔
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE EKL⊗↔
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αXDEFINE F83⊗↔
α⊗↔αs⊗=αi[f83,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αXDEFINE FIL⊗↔
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE FIL1⊗↔
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αXDEFINE JF⊗↔
αβ!αβaαxjf 8⊗↔αβeαβ!⊗↔αβ⊗↓

αXDEFINE JNK⊗↔
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE L⊗↔
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αXDEFINE LISP⊗↔
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE MEM⊗↔
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE MSG⊗↔
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE NOSAIL⊗↔
αβlαf≡∀α\all αβ∞⊗↔αβlαf≡∃α\exist αβ∞⊗↔αβlαf≡∧α\&αβ∞⊗↔αβlαf∨α\ or αβ∞⊗↔αβl
αf≡¬α\ not αβ∞⊗↔αβlαf≠α\ noteq αβ∞⊗↔αβ⊗↓

αXDEFINE OBBD⊗↔
αZTEMP⊗↔αβ⊗↓

αXDEFINE PHIL⊗↔
α∞αxmail "phil-sci%oz"%ml/su⊗↔αβ⊗↓

αXDEFINE PHO⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE TASK⊗↔
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αXDEFINE TEMP⊗↔
αXEXECUTE EINIT.CMD[1,3](18)⊗↔αZOBBD⊗↔αβ⊗↓

αXDEFINE XS⊗↔
αcαeαixs αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ∩⊗↔
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE ∪⊗↔
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE ≡⊗↔
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE $⊗↔
αi α⊗↑αb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE %⊗↔
α⊗↔α=αβ⊗↓

αXDEFINE ADR⊗↔
⊗↔Professor John McCarthy⊗↔Computer Science Department⊗↔Stanford Univers
ity⊗↔Stanford California 94305⊗↔αβ⊗↓

αXDEFINE AIL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂AIL αβ⊗↓

αXDEFINE BOISE⊗↔
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE CAL⊗↔
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE COM⊗↔
αi.<<α⊗=>>⊗↔αβ⊗↓

αXDEFINE CSL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂CSL αβ⊗↓

αXDEFINE DEL⊗↔
αidel αs]α αk⊗↔α⊗→α=αβkαβdαβ⊗↓

αXDEFINE DOV⊗↔
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αXDEFINE DOVER⊗↔
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE EKL⊗↔
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αXDEFINE FIL⊗↔
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE FIL1⊗↔
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αXDEFINE JF⊗↔
αβ!αβaαxjf 8⊗↔αβeαβ!⊗↔αβ⊗↓

αXDEFINE JNK⊗↔
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE L⊗↔
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αXDEFINE LISP⊗↔
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE MAIL⊗↔
αβ∞αβxmail/su⊗↔αβ⊗↓

αXDEFINE MEM⊗↔
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE MSG⊗↔
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE OBBD⊗↔
αZTEMP⊗↔αβ⊗↓

αXDEFINE PHIL⊗↔
α∞αxmail "phil-sci%oz"%ml/su⊗↔αβ⊗↓

αXDEFINE PHO⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE PHON⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE RECON⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE TASK⊗↔
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αXDEFINE TEMP⊗↔
αXEXECUTE EINIT.CMD[1,3](18)⊗↔αZOBBD⊗↔αβ⊗↓

αXDEFINE VOTE⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE W84⊗↔
α⊗↔αs⊗=αi[w84,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αXDEFINE XS⊗↔
αcαeαixs αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE ∩⊗↔
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE ∪⊗↔
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE ≡⊗↔
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE $⊗↔
αi α⊗↑αb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE %⊗↔
α⊗↔α=αβ⊗↓

αXDEFINE 1984⊗↔
αβλ1984.xgp[up,doc]/3p⊗↔αβ⊗↓

αXDEFINE ADR⊗↔
⊗↔Professor John McCarthy⊗↔Computer Science Department⊗↔Stanford Univers
ity⊗↔Stanford California 94305⊗↔αβ⊗↓

αXDEFINE AIL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂AIL αβ⊗↓

αXDEFINE BOISE⊗↔
αcαeαiboise αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE CAL⊗↔
⊗↔αεcal[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE COM⊗↔
αi.<<α⊗=>>⊗↔αβ⊗↓

αXDEFINE CSL⊗↔
αβ⊗↔.require "let.pub[let,jmc]" source;⊗↔∂CSL αβ⊗↓

αXDEFINE DEL⊗↔
αidel αs]α αk⊗↔α⊗→α=αβkαβdαβ⊗↓

αXDEFINE DOV⊗↔
αcαeαidover αs⊗=αk⊗↔α⊗↔α=αβdαβ⊗↓

αXDEFINE DOVER⊗↔
αcαeαidover αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE EKL⊗↔
αxsl dsk:ekl.dmp[1,3]⊗↔αxlfile⊗↔αβ⊗↓

αXDEFINE FIL⊗↔
⊗↔αεfiles[let,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE FIL1⊗↔
⊗↔αεfiles[let,jmc]/1p⊗↔αβ⊗↓

αXDEFINE JF⊗↔
αβ!αβaαxjf 8⊗↔αβeαβ!⊗↔αβ⊗↓

αXDEFINE JNK⊗↔
⊗↔αεmsg.msg[jnk,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE L⊗↔
⊗↔αβlαβf;end⊗↔⊗↔αβ9αβ9αβ9αβdαβlαβf;bfun⊗↔αβf;efunα=αβf;end⊗↔αβjαβ⊗↓

αXDEFINE LISP⊗↔
αxsl (lisp)⊗↔αxlpend⊗↔αβ⊗↓

αXDEFINE MAIL⊗↔
αβ∞αβxmail/su⊗↔αβ⊗↓

αXDEFINE MEM⊗↔
αβ⊗↔.require "memo.pub[let,jmc]" source;⊗↔.cb αβ⊗↓

αXDEFINE MSG⊗↔
⊗↔αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE OBBD⊗↔
αZTEMP⊗↔αβ⊗↓

αXDEFINE PHIL⊗↔
α∞αxmail "phil-sci%oz"%ml/su⊗↔αβ⊗↓

αXDEFINE PHO⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE PHON⊗↔
αβεphon[1,jmc]/1p⊗↔αβ⊗↓

αXDEFINE RECON⊗↔
α-αxsubjob⊗↔αxrec⊗↔αβ⊗↓

αXDEFINE TASK⊗↔
αβεtasks[1,jmc]/2p/∞l⊗↔αβeβ⊗↔αhαβ⊗↓

αXDEFINE TEMP⊗↔
αXEXECUTE EINIT.CMD[1,3](18)⊗↔αZOBBD⊗↔αβ⊗↓

αXDEFINE VOTE⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE W84⊗↔
α⊗↔αs⊗=αi[w84,jmc]α⊗↔αxpo/c⊗↔αhαcαhαe⊗↔αβ⊗↔αβ⊗↓

αXDEFINE XS⊗↔
αcαeαixs αs]α αk⊗↔αi⊗↔kα⊗↔αβuαxsubjob⊗↔αβ2α=αβ2αβdαβ⊗↓

αXDEFINE ⊗↔
αs,αdαs αk⊗↔αb αl⊗↔⊗↔αβ⊗↓

αXDEFINE ∩⊗↔
αcαh⊗↔αeα↑⊗=⊗=αdαβ⊗↓

αXDEFINE ∪⊗↔
αεmsg.msg[1,jmc]/∞p⊗↔αβ⊗↓

αXDEFINE ≡⊗↔
αxpo⊗↔αxreadw⊗↔αβ⊗↓

αXDEFINE $⊗↔
αi α⊗↑αb  αi({eq αs αdβ}β)αβ⊗↓

αXDEFINE %⊗↔
α⊗↔α=αβ⊗↓

αXDEFINE 1984⊗↔
αβλ1984.xgp[up,doc]/3p⊗↔αβ⊗↓